81. Experimental algorithms
Author: / Paola Festa (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer algorithms, Congresses
Classification :
QA76
.
9
.
A43S42
2010
82. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
83. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
84. Foundations of data organization and algorithms : 3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989 : Proceedings
Author: W. Litwin, H.-J. Schek )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Database management,Congresses ، Data structures )Computer science(,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
367
85. Foundations of data organization and algorithms: 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Database management,Congresses ، Data structures )Computer science(,Congresses ، Algorithms
Classification :
QA
76
.
9
.
D3
.
F67
1989
86. Foundations of software science and computation structures
Author: Jerzy Tiuryn (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,System analysis, Congresses.
87. Genetic programming :
Author: Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetic programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Data mining.,Genetic programming (Computer science)
Classification :
QA76
.
623
88. Geometric structures of information /
Author: Frank Nielsen, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Geometrical models in statistics, Congresses.,Geometry, Differential, Congresses.,Information theory in mathematics, Congresses.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Data structures (Computer science),Geometrical models in statistics.,Geometry, Differential.,Information theory in mathematics.,MATHEMATICS-- Applied.,MATHEMATICS-- Geometry-- Differential.,MATHEMATICS-- Probability & Statistics-- General.,Numerical analysis.
Classification :
QA276
.
23
G75
2019
89. Graph drawing and network visualization :
Author: Therese Biedl, Andreas Kerren (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Computer graphics.,Graph theory-- Data processing.
Classification :
QA76
.
9
.
A43
90. Graph-theoretic concepts in computer science :
Author: Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
Classification :
QA166
91. Graphs in biomedical image analysis and integrating medical imaging and non-imaging modalities :
Author: Danail Stoyanov, Zeike Taylor, Enzo Ferrante, Adrian V. Dalca et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Diagnostic imaging-- Digital techniques, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Digital techniques.,Image processing.,Mathematical theory of computation.
Classification :
RC78
.
7
.
D53
92. Information Technology -- New Generations :
Author: Shahram Latifi, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Electrical engineering.,Information technology, Congresses.,Algorithms & data structures.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electrical engineering.,Information retrieval.,Information technology.
Classification :
QA75
.
5
93. Information and communications security :
Author: Sihan Qing [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Congresses,Computer security, Congresses,Data encryption (Computer science), Congresses
Classification :
QA76
.
9
.
A25
I58
2011
94. Information and communications security :
Author: David Naccache [and 7 more] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Telecommunication systems-- Security measures, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Online Services-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,Telecommunication systems-- Security measures.
Classification :
QA76
.
9
.
A25
95. Intelligent computing :
Author: Kohei Arai, Supriya Kapoor, Rahul Bhatia.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Neural networks (Computer science), Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Neural networks (Computer science)
Classification :
Q342
96. Intelligent information and database systems :
Author: Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
Classification :
Q334
.
A85
2019
97. KI 2018 :
Author: Frank Trollmann, Anni-Yasmin Turhan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Public administration.
Classification :
Q334
98. Knowledge engineering and knowledge management :
Author: Catherine Faron Zucker, Chiara Ghidini, Amedeo Napoli, Yannick Toussaint (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Knowledge acquisition (Expert systems), Congresses.,Semantic Web, Congresses.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Knowledge acquisition (Expert systems),Semantic Web.
Classification :
QA76
.
76
.
E95
99. LATIN 2018 :
Author: Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
Classification :
QA75
.
5
100. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
